Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
131	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
132	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
133	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:40 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi
134	Computing Laboratory[removed] Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-06-05 08:23:18 Software engineering Process calculi Concurrency Communicating sequential processes JCSP Channel Lock Copyright law of the United States Deadlock Computing Concurrent computing Computer programming
135	Computing Laboratory[removed] Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-04-02 07:46:05 Concurrency control Sun Microsystems Communicating sequential processes Process calculi Monitor Java programming language Thread Java Channel Computing Concurrent computing Computer programming
136	Communicating Process Architectures 2007 Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch IOS Press, 2007 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-02-13 06:46:39 Cross-platform software Procedural programming languages JCSP Process calculi Communicating sequential processes Parallel computing Occam Barrier Go Computing Computer programming Concurrent computing
137	JID:SCICO AID:1752 /FLA [m3G; v 1.132; Prn:[removed]; 15:03] P[removed]Science of Computer Programming ••• (••••) •••–••• Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-19 08:04:36 Railway signalling Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Transport Land transport Rail transport
138	oneStationTrackPlan_a_and_b.png Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-07-13 05:55:18 Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Model theory Structure Union Pacific Railroad Rail transportation in the United States Transportation in the United States Railway signalling
139	Verification of Scheme Plans using CSP\|\|B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-11-29 11:10:29 Communicating sequential processes Workflow technology Mind Railway signalling Logic in computer science Ethology Model checking Workflow Interlocking Concurrent computing Computing Process calculi
140	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:39 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics

UPDATE